A p-cone sequential relaxation procedure for 0-1 integer programs
نویسندگان
چکیده
Given a 0-1 integer programming problem, several authors have introduced sequential relaxation techniques — based on linear and/or semidefinite programming — that generate the convex hull of integer points in at most n steps. In this paper, we introduce a sequential relaxation technique, which is based on p-order cone programming (1 ≤ p ≤ ∞). We prove that our technique generates the convex hull of 0-1 solutions asymptotically. In addition, we show that our method generalizes and subsumes several existing methods. For example, when p = ∞, our method corresponds to the wellknown procedure of Lovász and Schrijver based on linear programming (so that finite convergence is obtained by our method in special cases). Although the p-order cone programs in general sacrifice some strength compared to the analogous linear and semidefinite programs, we show that for p = 2 they enjoy a better theoretical iteration complexity. Computational considerations of our technique are also discussed.
منابع مشابه
A General Framework for Convex Relaxation of Polynomial Optimization Problems over Cones
The class of POPs (Polynomial Optimization Problems) over cones covers a wide range of optimization problems such as 0-1 integer linear and quadratic programs, nonconvex quadratic programs and bilinear matrix inequalities. This paper presents a new framework for convex relaxation of POPs over cones in terms of linear optimization problems over cones. It provides a unified treatment of many exis...
متن کاملSolving A Fractional Program with Second Order Cone Constraint
We consider a fractional program with both linear and quadratic equation in numerator and denominator having second order cone (SOC) constraints. With a suitable change of variable, we transform the problem into a second order cone programming (SOCP) problem. For the quadratic fractional case, using a relaxation, the problem is reduced to a semi-definite optimization (SDO) program. The p...
متن کاملA Facet Generation Procedure for Solving 0/1 Integer Programs
This paper presents the Facet Generation Procedure (FGP) for solving 0/1 integer programs. The FGP seeks to identify a hyperplane that represents a facet of an underlying polytope to cut off the fractional solution to the linear programming relaxation of the integer programming problem. A set of standard problems is used to provide insight into the computational characteristics of the procedure.
متن کاملHigh Performance Integer Optimization
Performance aspects of a Lagrangian relaxation based heuris-tic for solving large 0-1 integer linear programs are discussed. In particular , we look at its application to airline and railway crew scheduling problems. We present a scalable parallelization of the original algorithm used in production at Carmen Systems AB, GG oteborg, Sweden, based on distributing the variables and a new sequentia...
متن کاملCertificates and relaxations for integer programming and the semi-group membership problem
We consider integer programming and the semi-group membership problem. We develop and extend the approach started in [5, 6] so as to provide the following theorem of the alternative: the system b = Ax has no nonnegative integral solution x ∈ Nn if and only if p(b) < 0 for some given polynomial p. The coefficients of p form a vector which lies in some convex cone Ω, and so we characterize Ω. We ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Optimization Methods and Software
دوره 24 شماره
صفحات -
تاریخ انتشار 2009